Antiretroviral protease inhibitor